Temporal and Modal Logic
نویسنده
چکیده
We give a comprehensive and unifying survey of the theoretical aspects of Temporal and Modal Logic Note This paper is to appear in the Handbook of Theoretical Computer Science J van Leeuwen managing editor North Holland Pub Co Work supported in part by US NSF Grant CCR ONR Contract N K and Netherlands ZWO grant nf nfb
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملTemporal and Modal Logic Programming :
This paper presents a structured, annotated bibliography of extensions of logic programming based on temporal and modal logics. Temporal and modal logic programming is a new area of research, which gained momentum in the late 1980'ies. The paper discusses temporal and modal logic programming under three headings: (1) interval logic programming , (2) temporal logic programming, and (3) modal log...
متن کاملAn Overview of Temporal and Modal
This paper presents an overview of the development of the eld of temporal and modal logic programming. We review temporal and modal logic programming languages under three headings: (1) languages based on interval logic, (2) languages based on temporal logic, and (3) languages based on (multi)modal logics. The overview includes most of the major results developed, and points out some of the sim...
متن کاملMany-dimensional Modal Logic of Tense and Temporal Interval and its Decidability
Linear tense logics are widely accepted for structural temporal representation, where the basic has two modal operators G and H, each of which represents the future and the past, respectively. On the other hand, the temporal interval relations arranged by Allen have long been the standard of natural language semantics, though it still lacks the modal-logical foundation. Van Benthem [10] propose...
متن کاملThe Effects of Modalities in Separation Logics (Extended Abstract)
Like modal logic, temporal logic, or description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof systems with the goal to perform automatic program analysis. We present similarities with modal and temporal logics, and we present landmark results about decidability, complexity and expressive power.
متن کاملResolution-Based Proof for Multi-Modal Temporal Logics of Knowledge
Temporal logics of knowledge are useful in order to specify complex systems in which agents are both dynamic and have information about their surroundings. We present a resolution method for propositional temporal logic combined with multi-modal S5 and illustrate its use on examples. This paper corrects a previous proposal for resolution in multi-modal temporal logics of knowledge.
متن کامل